Optimal. Leaf size=475 \[ \frac{\sqrt{2} (d+e x) \sqrt{-\sqrt{b^2-4 a c}+b+2 c x} \sqrt{2 c f-g \left (\sqrt{b^2-4 a c}+b\right )} \sqrt{\frac{\left (\sqrt{b^2-4 a c}+b+2 c x\right ) (e f-d g)}{(d+e x) \left (2 c f-g \left (\sqrt{b^2-4 a c}+b\right )\right )}} \sqrt{\frac{\left (x \left (\sqrt{b^2-4 a c}+b\right )+2 a\right ) (e f-d g)}{(d+e x) \left (f \sqrt{b^2-4 a c}-2 a g+b f\right )}} \Pi \left (\frac{e \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) g};\sin ^{-1}\left (\frac{\sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e} \sqrt{f+g x}}{\sqrt{2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g} \sqrt{d+e x}}\right )|\frac{\left (b d+\sqrt{b^2-4 a c} d-2 a e\right ) \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) \left (b f+\sqrt{b^2-4 a c} f-2 a g\right )}\right )}{g \sqrt{\frac{2 a c}{\sqrt{b^2-4 a c}+b}+c x} \sqrt{a+b x+c x^2} \sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.419329, antiderivative size = 475, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 33, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.03, Rules used = {926} \[ \frac{\sqrt{2} (d+e x) \sqrt{-\sqrt{b^2-4 a c}+b+2 c x} \sqrt{2 c f-g \left (\sqrt{b^2-4 a c}+b\right )} \sqrt{\frac{\left (\sqrt{b^2-4 a c}+b+2 c x\right ) (e f-d g)}{(d+e x) \left (2 c f-g \left (\sqrt{b^2-4 a c}+b\right )\right )}} \sqrt{\frac{\left (x \left (\sqrt{b^2-4 a c}+b\right )+2 a\right ) (e f-d g)}{(d+e x) \left (f \sqrt{b^2-4 a c}-2 a g+b f\right )}} \Pi \left (\frac{e \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) g};\sin ^{-1}\left (\frac{\sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e} \sqrt{f+g x}}{\sqrt{2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g} \sqrt{d+e x}}\right )|\frac{\left (b d+\sqrt{b^2-4 a c} d-2 a e\right ) \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) \left (b f+\sqrt{b^2-4 a c} f-2 a g\right )}\right )}{g \sqrt{\frac{2 a c}{\sqrt{b^2-4 a c}+b}+c x} \sqrt{a+b x+c x^2} \sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 926
Rubi steps
\begin{align*} \int \frac{\sqrt{d+e x}}{\sqrt{f+g x} \sqrt{a+b x+c x^2}} \, dx &=\frac{\sqrt{2} \sqrt{2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g} \sqrt{b-\sqrt{b^2-4 a c}+2 c x} \sqrt{\frac{(e f-d g) \left (b+\sqrt{b^2-4 a c}+2 c x\right )}{\left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right ) (d+e x)}} \sqrt{\frac{(e f-d g) \left (2 a+\left (b+\sqrt{b^2-4 a c}\right ) x\right )}{\left (b f+\sqrt{b^2-4 a c} f-2 a g\right ) (d+e x)}} (d+e x) \Pi \left (\frac{e \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) g};\sin ^{-1}\left (\frac{\sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e} \sqrt{f+g x}}{\sqrt{2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g} \sqrt{d+e x}}\right )|\frac{\left (b d+\sqrt{b^2-4 a c} d-2 a e\right ) \left (2 c f-\left (b+\sqrt{b^2-4 a c}\right ) g\right )}{\left (2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e\right ) \left (b f+\sqrt{b^2-4 a c} f-2 a g\right )}\right )}{\sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e} g \sqrt{\frac{2 a c}{b+\sqrt{b^2-4 a c}}+c x} \sqrt{a+b x+c x^2}}\\ \end{align*}
Mathematica [B] time = 9.95143, size = 1118, normalized size = 2.35 \[ -\frac{\sqrt{2} \sqrt{-\frac{g \left (c f^2+g (a g-b f)\right ) (d+e x)}{\left (-2 a e g^2-2 c d f g+b (e f+d g) g-d \sqrt{\left (b^2-4 a c\right ) g^2} g+e f \sqrt{\left (b^2-4 a c\right ) g^2}\right ) (f+g x)}} (f+g x)^{3/2} \left (\frac{2 e f \sqrt{\left (b^2-4 a c\right ) g^2} \sqrt{-\frac{\left (c f^2+g (a g-b f)\right ) (a+x (b+c x))}{\left (b^2-4 a c\right ) (f+g x)^2}} \text{EllipticF}\left (\sin ^{-1}\left (\frac{\sqrt{\frac{-2 a g^2+2 c f x g+b (f-g x) g+\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}{\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}}}{\sqrt{2}}\right ),\frac{2 \sqrt{\left (b^2-4 a c\right ) g^2} (d g-e f)}{2 a e g^2+2 c d f g-b (e f+d g) g+d \sqrt{\left (b^2-4 a c\right ) g^2} g-e f \sqrt{\left (b^2-4 a c\right ) g^2}}\right )}{c f^2+g (a g-b f)}+\frac{d g \left (2 a g^2-2 c f x g-\sqrt{\left (b^2-4 a c\right ) g^2} x g+b (g x-f) g-f \sqrt{\left (b^2-4 a c\right ) g^2}\right ) \sqrt{\frac{2 a g^2-2 c f x g+b (g x-f) g+\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}{\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}} \text{EllipticF}\left (\sin ^{-1}\left (\frac{\sqrt{\frac{-2 a g^2+2 c f x g+b (f-g x) g+\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}{\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}}}{\sqrt{2}}\right ),\frac{2 \sqrt{\left (b^2-4 a c\right ) g^2} (d g-e f)}{2 a e g^2+2 c d f g-b (e f+d g) g+d \sqrt{\left (b^2-4 a c\right ) g^2} g-e f \sqrt{\left (b^2-4 a c\right ) g^2}}\right )}{\left (c f^2+g (a g-b f)\right ) (f+g x) \sqrt{\frac{-2 a g^2+2 c f x g+b (f-g x) g+\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}{\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}}}-\frac{4 e \sqrt{\left (b^2-4 a c\right ) g^2} \sqrt{-\frac{\left (c f^2+g (a g-b f)\right ) (a+x (b+c x))}{\left (b^2-4 a c\right ) (f+g x)^2}} \Pi \left (\frac{2 \sqrt{\left (b^2-4 a c\right ) g^2}}{2 c f-b g+\sqrt{\left (b^2-4 a c\right ) g^2}};\sin ^{-1}\left (\frac{\sqrt{\frac{-2 a g^2+2 c f x g+b (f-g x) g+\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}{\sqrt{\left (b^2-4 a c\right ) g^2} (f+g x)}}}{\sqrt{2}}\right )|\frac{2 \sqrt{\left (b^2-4 a c\right ) g^2} (d g-e f)}{2 a e g^2+2 c d f g-b (e f+d g) g+d \sqrt{\left (b^2-4 a c\right ) g^2} g-e f \sqrt{\left (b^2-4 a c\right ) g^2}}\right )}{2 c f-b g+\sqrt{\left (b^2-4 a c\right ) g^2}}\right )}{g^2 \sqrt{d+e x} \sqrt{a+x (b+c x)}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.637, size = 645, normalized size = 1.4 \begin{align*} 4\,{\frac{\sqrt{ex+d}\sqrt{gx+f}\sqrt{c{x}^{2}+bx+a} \left ( \sqrt{-4\,ac+{b}^{2}}{x}^{2}{e}^{2}g+b{e}^{2}g{x}^{2}-2\,c{e}^{2}f{x}^{2}+2\,\sqrt{-4\,ac+{b}^{2}}xdeg+2\,xbdeg-4\,xcdef+\sqrt{-4\,ac+{b}^{2}}{d}^{2}g+b{d}^{2}g-2\,c{d}^{2}f \right ) }{g \left ( e\sqrt{-4\,ac+{b}^{2}}+be-2\,cd \right ) \sqrt{ceg{x}^{4}+beg{x}^{3}+cdg{x}^{3}+cef{x}^{3}+aeg{x}^{2}+bdg{x}^{2}+bef{x}^{2}+cdf{x}^{2}+adgx+aefx+bdfx+adf}}\sqrt{{\frac{ \left ( e\sqrt{-4\,ac+{b}^{2}}+be-2\,cd \right ) \left ( gx+f \right ) }{ \left ( g\sqrt{-4\,ac+{b}^{2}}+bg-2\,cf \right ) \left ( ex+d \right ) }}}\sqrt{{\frac{ \left ( dg-ef \right ) \left ( -b-2\,cx+\sqrt{-4\,ac+{b}^{2}} \right ) }{ \left ( 2\,cf-bg+g\sqrt{-4\,ac+{b}^{2}} \right ) \left ( ex+d \right ) }}}\sqrt{{\frac{ \left ( dg-ef \right ) \left ( b+2\,cx+\sqrt{-4\,ac+{b}^{2}} \right ) }{ \left ( g\sqrt{-4\,ac+{b}^{2}}+bg-2\,cf \right ) \left ( ex+d \right ) }}}{\it EllipticPi} \left ( \sqrt{{\frac{ \left ( e\sqrt{-4\,ac+{b}^{2}}+be-2\,cd \right ) \left ( gx+f \right ) }{ \left ( g\sqrt{-4\,ac+{b}^{2}}+bg-2\,cf \right ) \left ( ex+d \right ) }}},{\frac{ \left ( g\sqrt{-4\,ac+{b}^{2}}+bg-2\,cf \right ) e}{g \left ( e\sqrt{-4\,ac+{b}^{2}}+be-2\,cd \right ) }},\sqrt{{\frac{ \left ( 2\,cd-be+e\sqrt{-4\,ac+{b}^{2}} \right ) \left ( g\sqrt{-4\,ac+{b}^{2}}+bg-2\,cf \right ) }{ \left ( 2\,cf-bg+g\sqrt{-4\,ac+{b}^{2}} \right ) \left ( e\sqrt{-4\,ac+{b}^{2}}+be-2\,cd \right ) }}} \right ){\frac{1}{\sqrt{-{\frac{ \left ( gx+f \right ) \left ( ex+d \right ) \left ( -b-2\,cx+\sqrt{-4\,ac+{b}^{2}} \right ) \left ( b+2\,cx+\sqrt{-4\,ac+{b}^{2}} \right ) }{c}}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{e x + d}}{\sqrt{c x^{2} + b x + a} \sqrt{g x + f}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{d + e x}}{\sqrt{f + g x} \sqrt{a + b x + c x^{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{e x + d}}{\sqrt{c x^{2} + b x + a} \sqrt{g x + f}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]